Skip to content

Actions: evermake/free-foil-typecheck

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fail build on warnings Build & Deploy Haddock #9: Commit efefa96 pushed by evermake
September 3, 2024 13:39 3m 36s main
main
September 3, 2024 13:39 3m 36s
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 (#3) Build & Deploy Haddock #8: Commit 4662d81 pushed by evermake
September 2, 2024 19:33 4m 2s main
main
September 2, 2024 19:33 4m 2s
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