Skip to content

Actions: IntelLabs/asl-interpreter

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ASLi: fix history saving
pull-request #23: Pull request #16 synchronize by alastairreid
December 31, 2024 17:47 22m 41s areid-fix-history
December 31, 2024 17:47 22m 41s
ASLi: fix history saving
pull-request #22: Pull request #16 opened by alastairreid
December 31, 2024 17:43 25m 19s areid-fix-history
December 31, 2024 17:43 25m 19s
Tests: stop using %decolor
Scorecard supply-chain security #9: Commit d78d170 pushed by alastairreid
December 31, 2024 17:38 59s master
December 31, 2024 17:38 59s
Remove decolor
pull-request #21: Pull request #15 opened by alastairreid
December 31, 2024 17:06 22m 26s areid-remove-decolor
December 31, 2024 17:06 22m 26s
Testing: eq/ne_bits and print_*
Scorecard supply-chain security #8: Commit 56bd237 pushed by alastairreid
December 30, 2024 20:59 45s master
December 30, 2024 20:59 45s
More backend tests
pull-request #20: Pull request #14 opened by alastairreid
December 30, 2024 20:29 23m 18s areid-tests-3
December 30, 2024 20:29 23m 18s
Cache Opam installs
Scorecard supply-chain security #7: Commit bfea416 pushed by alastairreid
December 30, 2024 20:19 39s master
December 30, 2024 20:19 39s
Cache Opam installs
pull-request #19: Pull request #10 synchronize by alastairreid
December 30, 2024 20:13 3m 6s areid-cache-opam
December 30, 2024 20:13 3m 6s
Cache Opam installs
pull-request #18: Pull request #10 synchronize by alastairreid
December 30, 2024 19:26 22m 28s areid-cache-opam
December 30, 2024 19:26 22m 28s
Testing: add tests of try-catch
Scorecard supply-chain security #6: Commit b6a5edf pushed by alastairreid
December 30, 2024 19:23 58s master
December 30, 2024 19:23 58s
Cache Opam installs
pull-request #17: Pull request #10 synchronize by alastairreid
December 30, 2024 19:00 4m 14s areid-cache-opam
December 30, 2024 19:00 4m 14s
More backend regression tests
pull-request #16: Pull request #13 opened by alastairreid
December 30, 2024 18:58 22m 15s areid-tests-2
December 30, 2024 18:58 22m 15s
Cache Opam installs
pull-request #15: Pull request #10 synchronize by alastairreid
December 30, 2024 16:34 22m 15s areid-cache-opam
December 30, 2024 16:34 22m 15s
Cache Opam installs
pull-request #14: Pull request #10 synchronize by alastairreid
December 30, 2024 16:25 4m 13s areid-cache-opam
December 30, 2024 16:25 4m 13s
Testing: add test for assert
Scorecard supply-chain security #5: Commit 7d0bdc7 pushed by alastairreid
December 30, 2024 16:07 42s master
December 30, 2024 16:07 42s
Add tests for assert statement (and fix the bug it finds)
pull-request #13: Pull request #11 opened by alastairreid
December 30, 2024 15:31 22m 28s areid-more-tests
December 30, 2024 15:31 22m 28s
pages build and deployment
pages-build-deployment #5: by alastairreid
December 30, 2024 14:23 37s gh-pages
December 30, 2024 14:23 37s
Cache Opam installs
pull-request #12: Pull request #10 synchronize by alastairreid
December 30, 2024 14:11 22m 54s areid-cache-opam
December 30, 2024 14:11 22m 54s
Cache Opam installs
pull-request #11: Commit 560488d pushed by alastairreid
December 30, 2024 13:54 Failure areid-cache-opam
December 30, 2024 13:54 Failure
Cache Opam installs
pull-request #10: Commit 00d541f pushed by alastairreid
December 30, 2024 13:49 Failure areid-cache-opam
December 30, 2024 13:49 Failure
Cache Opam installs
pull-request #9: Commit 42a1d01 pushed by alastairreid
December 30, 2024 13:38 Failure areid-cache-opam
December 30, 2024 13:38 Failure
Scorecard supply-chain security
Scorecard supply-chain security #4: Scheduled
December 25, 2024 23:23 40s master
December 25, 2024 23:23 40s
asl2c: C++ backends must use at least c++17
Scorecard supply-chain security #3: Commit 7d8877a pushed by alastairreid
December 21, 2024 18:29 51s master
December 21, 2024 18:29 51s
More MacOS fixes
pull-request #8: Pull request #9 opened by alastairreid
December 21, 2024 18:01 22m 54s alastairreid:areid-macos-fixes2
December 21, 2024 18:01 22m 54s
README: add MacOS instructions
Scorecard supply-chain security #2: Commit 6b4e1a8 pushed by alastairreid
December 20, 2024 20:23 38s master
December 20, 2024 20:23 38s