Skip to content

Actions: evermake/free-foil-typecheck

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 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 Build & Deploy Haddock #16: Commit ac95e6b pushed by evermake
February 15, 2025 08:39 4m 5s main
main
February 15, 2025 08:39 4m 5s
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 Build & Deploy Haddock #15: Commit aebb0f5 pushed by fizruk
February 6, 2025 16:43 4m 1s main
main
February 6, 2025 16:43 4m 1s
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
Update README.md Build & Deploy Haddock #14: Commit c594850 pushed by evermake
January 25, 2025 14:20 3m 42s main
main
January 25, 2025 14:20 3m 42s
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 Build & Deploy Haddock #13: Commit dfc8a25 pushed by evermake
November 21, 2024 12:58 4m 8s main
main
November 21, 2024 12:58 4m 8s
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 Build & Deploy Haddock #12: Commit c230884 pushed by evermake
November 21, 2024 12:40 4m 7s main
main
November 21, 2024 12:40 4m 7s
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 Build & Deploy Haddock #11: Commit e758121 pushed by evermake
September 3, 2024 14:04 3m 57s main
main
September 3, 2024 14:04 3m 57s
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) Build & Deploy Haddock #10: Commit a44367a pushed by evermake
September 3, 2024 13:53 4m 7s main
main
September 3, 2024 13:53 4m 7s
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