Skip to content

Actions: MMZK1526/lambda_calculus_front_end

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #25: by github-pages bot
December 7, 2023 18:57 36s
December 7, 2023 18:57 36s
Merge branch 'main' of https://github.com/MMZK1526/lambda_calculus_fr…
Deploy to GitHub Pages #25: Commit d7b3846 pushed by MMZK1526
December 7, 2023 18:55 1m 23s main
December 7, 2023 18:55 1m 23s
pages build and deployment
pages-build-deployment #24: by github-pages bot
December 3, 2023 23:16 42s
December 3, 2023 23:16 42s
Update README.md
Deploy to GitHub Pages #24: Commit e0f307b pushed by MMZK1526
December 3, 2023 23:15 1m 30s main
December 3, 2023 23:15 1m 30s
pages build and deployment
pages-build-deployment #23: by github-pages bot
December 3, 2023 17:19 39s
December 3, 2023 17:19 39s
[mmzk] (fix) Fix reset btn
Deploy to GitHub Pages #23: Commit 93f1757 pushed by MMZK1526
December 3, 2023 17:17 1m 26s main
December 3, 2023 17:17 1m 26s
pages build and deployment
pages-build-deployment #22: by github-pages bot
December 3, 2023 13:00 38s
December 3, 2023 13:00 38s
Cleanup
Deploy to GitHub Pages #22: Commit 732ff07 pushed by MMZK1526
December 3, 2023 12:58 1m 21s main
December 3, 2023 12:58 1m 21s
pages build and deployment
pages-build-deployment #21: by github-pages bot
December 2, 2023 15:37 31s
December 2, 2023 15:37 31s
[mmzk] (feat) Download evaluation trace
Deploy to GitHub Pages #21: Commit 8e7bd06 pushed by MMZK1526
December 2, 2023 15:36 1m 20s main
December 2, 2023 15:36 1m 20s
pages build and deployment
pages-build-deployment #20: by github-pages bot
December 1, 2023 22:20 33s
December 1, 2023 22:20 33s
[mmzk] (feat) Slight modification
Deploy to GitHub Pages #20: Commit 4d79db9 pushed by MMZK1526
December 1, 2023 22:18 1m 25s main
December 1, 2023 22:18 1m 25s
pages build and deployment
pages-build-deployment #19: by github-pages bot
December 1, 2023 22:03 41s
December 1, 2023 22:03 41s
[mmzk] (dep) Bump lambda_calculus to 1.3.5
Deploy to GitHub Pages #19: Commit 01417f5 pushed by MMZK1526
December 1, 2023 22:02 1m 31s main
December 1, 2023 22:02 1m 31s
pages build and deployment
pages-build-deployment #18: by github-pages bot
November 30, 2023 14:47 47s
November 30, 2023 14:47 47s
[mmzk] (fix)
Deploy to GitHub Pages #18: Commit 8f09856 pushed by MMZK1526
November 30, 2023 14:45 1m 23s main
November 30, 2023 14:45 1m 23s
pages build and deployment
pages-build-deployment #17: by github-pages bot
November 30, 2023 14:44 36s
November 30, 2023 14:44 36s
[mmzk] (feat) Can set steps to evaluate
Deploy to GitHub Pages #17: Commit eae7462 pushed by MMZK1526
November 30, 2023 14:43 1m 6s main
November 30, 2023 14:43 1m 6s
[mmzk] (feat) Can set steps to evaluate
Deploy to GitHub Pages #16: Commit e8495b3 pushed by MMZK1526
November 30, 2023 14:42 1m 31s main
November 30, 2023 14:42 1m 31s
pages build and deployment
pages-build-deployment #16: by github-pages bot
November 29, 2023 21:14 37s
November 29, 2023 21:14 37s
[mmzk] (refactor) remove an unused function
Deploy to GitHub Pages #15: Commit 909dab4 pushed by MMZK1526
November 29, 2023 21:12 3m 2s main
November 29, 2023 21:12 3m 2s
pages build and deployment
pages-build-deployment #15: by github-pages bot
November 27, 2023 22:41 38s
November 27, 2023 22:41 38s
[mmzk] (refactor) Remove unused declarations
Deploy to GitHub Pages #14: Commit 7bcb51d pushed by MMZK1526
November 27, 2023 22:40 1m 20s main
November 27, 2023 22:40 1m 20s
pages build and deployment
pages-build-deployment #14: by github-pages bot
November 26, 2023 19:49 30s
November 26, 2023 19:49 30s
[mmzk] (doc) Intro text for evaluator
Deploy to GitHub Pages #13: Commit 46803d7 pushed by MMZK1526
November 26, 2023 19:48 1m 27s main
November 26, 2023 19:48 1m 27s