Skip to content

Actions: evermake/free-foil-typecheck

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Level-based generalization CI #27: Pull request #8 synchronize by evermake
March 4, 2025 13:10 5m 15s generalization-with-levels
generalization-with-levels
March 4, 2025 13:10 5m 15s
Level-based generalization CI #26: Pull request #8 synchronize by evermake
March 4, 2025 12:02 4m 51s generalization-with-levels
generalization-with-levels
March 4, 2025 12:02 4m 51s
Level-based generalization CI #25: Pull request #8 synchronize by evermake
February 20, 2025 13:27 5m 3s generalization-with-levels
generalization-with-levels
February 20, 2025 13:27 5m 3s
Level-based generalization CI #24: Pull request #8 synchronize by fizruk
February 20, 2025 12:47 5m 0s generalization-with-levels
generalization-with-levels
February 20, 2025 12:47 5m 0s
Level-based generalization CI #23: Pull request #8 opened by evermake
February 20, 2025 11:57 5m 13s generalization-with-levels
generalization-with-levels
February 20, 2025 11:57 5m 13s
add test-case for occur check CI #22: Commit ac95e6b pushed by evermake
February 15, 2025 08:39 4m 49s main
main
February 15, 2025 08:39 4m 49s
Merge pull request #7 from evermake/merge-branches CI #21: Commit aebb0f5 pushed by fizruk
February 6, 2025 16:43 4m 26s main
main
February 6, 2025 16:43 4m 26s
Merge unification and system-f branches into main CI #20: Pull request #7 synchronize by evermake
February 6, 2025 16:24 5m 4s merge-branches
merge-branches
February 6, 2025 16:24 5m 4s
Merge unification and system-f branches into main CI #19: Pull request #7 synchronize by evermake
February 6, 2025 16:14 4m 27s merge-branches
merge-branches
February 6, 2025 16:14 4m 27s
Merge unification and system-f branches into main CI #18: Pull request #7 synchronize by fizruk
January 31, 2025 10:41 4m 24s merge-branches
merge-branches
January 31, 2025 10:41 4m 24s
Update README.md CI #17: Commit c594850 pushed by evermake
January 25, 2025 14:20 4m 25s main
main
January 25, 2025 14:20 4m 25s
Merge unification and system-f branches into main CI #16: Pull request #7 synchronize by evermake
January 23, 2025 07:04 3m 0s merge-branches
merge-branches
January 23, 2025 07:04 3m 0s
Merge unification and system-f branches into main CI #15: Pull request #7 opened by evermake
January 20, 2025 15:01 2m 56s merge-branches
merge-branches
January 20, 2025 15:01 2m 56s
fix links CI #14: Commit dfc8a25 pushed by evermake
November 21, 2024 12:58 4m 24s main
main
November 21, 2024 12:58 4m 24s
update README.md CI #13: Commit c230884 pushed by evermake
November 21, 2024 12:40 4m 22s main
main
November 21, 2024 12:40 4m 22s
refactor and rename test files CI #12: Commit e758121 pushed by evermake
September 3, 2024 14:04 4m 39s main
main
September 3, 2024 14:04 4m 39s
implement for-loop (#4) CI #11: Commit a44367a pushed by evermake
September 3, 2024 13:53 4m 27s main
main
September 3, 2024 13:53 4m 27s
implement for-loop CI #10: Pull request #4 synchronize by evermake
September 3, 2024 13:46 4m 47s for-loop_2
for-loop_2
September 3, 2024 13:46 4m 47s
fail build on warnings CI #9: Commit efefa96 pushed by evermake
September 3, 2024 13:39 3m 11s main
main
September 3, 2024 13:39 3m 11s
implement for-loop CI #8: Pull request #4 synchronize by Vikono
September 3, 2024 09:44 4m 41s for-loop_2
for-loop_2
September 3, 2024 09:44 4m 41s
implement for-loop CI #7: Pull request #4 opened by Vikono
September 3, 2024 09:20 5m 0s for-loop_2
for-loop_2
September 3, 2024 09:20 5m 0s
implement lambda abstraction and application (#3) CI #6: Commit 4662d81 pushed by evermake
September 2, 2024 19:33 4m 16s main
main
September 2, 2024 19:33 4m 16s
implement lambda abstraction and application CI #5: Pull request #3 synchronize by evermake
September 2, 2024 19:28 4m 25s abs-app
abs-app
September 2, 2024 19:28 4m 25s
implement lambda abstraction and application CI #4: Pull request #3 opened by frog-da
September 1, 2024 12:14 4m 23s abs-app
abs-app
September 1, 2024 12:14 4m 23s
ci: add build-and-test workflow (#2) CI #3: Commit bb1e432 pushed by evermake
August 28, 2024 18:10 4m 19s main
main
August 28, 2024 18:10 4m 19s