Skip to content

Actions: adelfa-prover/adelfa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow empty context schema declarations Build & Test #15: Commit 78432d0 pushed by cjohnson19
December 5, 2024 16:44 6m 14s main
main
December 5, 2024 16:44 6m 14s
Fix adelfa package definition Build & Test #14: Commit a000b79 pushed by cjohnson19
October 24, 2024 12:52 3m 25s main
main
October 24, 2024 12:52 3m 25s
Fix adelfa package definition Build & Test #13: Commit 95bac06 pushed by cjohnson19
October 24, 2024 12:50 3m 11s main
main
October 24, 2024 12:50 3m 11s
Update examples and opam information Build & Test #12: Commit ba798d6 pushed by cjohnson19
October 23, 2024 19:05 7m 18s main
main
October 23, 2024 19:05 7m 18s
Fix permuted proof steps Build & Test #11: Commit 234d4e2 pushed by cjohnson19
September 17, 2024 17:45 2m 58s main
main
September 17, 2024 17:45 2m 58s
Formatter updates, allow spec to be read from cli Build & Test #10: Commit 6212d64 pushed by cjohnson19
September 17, 2024 17:36 5m 30s main
main
September 17, 2024 17:36 5m 30s
Promote new example results Build & Test #9: Commit 96259e6 pushed by cjohnson19
April 3, 2024 21:01 8m 1s main
main
April 3, 2024 21:01 8m 1s
Update bundler Build & Test #8: Commit 0ad3bbc pushed by cjohnson19
April 3, 2024 20:57 3m 28s main
main
April 3, 2024 20:57 3m 28s
Update bundler and add a GitHub Action to build it Build & Test #7: Commit ce6bcb0 pushed by cjohnson19
April 3, 2024 20:47 8m 43s main
main
April 3, 2024 20:47 8m 43s
Ignore language stats for adelfa code Build & Test #6: Commit f283089 pushed by cjohnson19
March 22, 2024 16:07 5m 53s main
main
March 22, 2024 16:07 5m 53s
Ignore language stats for adelfa code Build & Test #5: Commit aa33220 pushed by cjohnson19
March 22, 2024 04:42 5m 26s main
main
March 22, 2024 04:42 5m 26s
Merge pull request #1 from adelfa-prover/markdown-readme Build & Test #4: Commit 0d0c3ab pushed by cjohnson19
March 22, 2024 04:31 4m 55s main
main
March 22, 2024 04:31 4m 55s
Change README to markdown Build & Test #3: Pull request #1 synchronize by cjohnson19
March 22, 2024 04:25 4m 50s markdown-readme
markdown-readme
March 22, 2024 04:25 4m 50s
Setup github action workflow Build & Test #2: Commit 6f5e8da pushed by cjohnson19
March 22, 2024 04:14 9m 27s main
main
March 22, 2024 04:14 9m 27s
Build & Test Build & Test #1: Manually run by cjohnson19
March 22, 2024 04:04 6m 41s main
main
March 22, 2024 04:04 6m 41s