Skip to content

Actions: formalsec/ECMA-SL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,126 workflow runs
1,126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert more breaking changes from 916c0a2 Build #38: Commit aabaeb7 pushed by filipeom
January 9, 2024 01:30 11m 28s main
main
January 9, 2024 01:30 11m 28s
Fix incorrect evaluation of ge and le Build #37: Commit 6f56ca8 pushed by filipeom
January 9, 2024 01:19 11m 29s main
main
January 9, 2024 01:19 11m 29s
Fixes incorrect renaming of Second to TupleFirst in 79a3ba0 Build #36: Commit ab6dadc pushed by filipeom
January 9, 2024 01:01 11m 52s main
main
January 9, 2024 01:01 11m 52s
Fixes incorrect renaming of Second to TupleFirst in 79a3ba Build #35: Commit cda2dc2 pushed by filipeom
January 9, 2024 01:00 1m 43s main
main
January 9, 2024 01:00 1m 43s
Explode-js Build #34: Pull request #3 synchronize by filipeom
January 9, 2024 00:23 20m 37s symbolic-sinks
symbolic-sinks
January 9, 2024 00:23 20m 37s
Fixes core parsing errors Build #33: Commit 548c5b1 pushed by filipeom
January 9, 2024 00:21 11m 20s main
main
January 9, 2024 00:21 11m 20s
Explode-js Build #32: Pull request #3 synchronize by filipeom
January 8, 2024 23:20 11m 17s symbolic-sinks
symbolic-sinks
January 8, 2024 23:20 11m 17s
style(ecma-sl): remove underscore from used auxiliary functions Build #31: Commit 5604cff pushed by andreffnascimento
January 6, 2024 19:11 11m 25s main
main
January 6, 2024 19:11 11m 25s
Replace printfs by pp formatters in cesl Build #30: Pull request #12 synchronize by andreffnascimento
January 6, 2024 18:46 15m 45s str-fmt-cesl
str-fmt-cesl
January 6, 2024 18:46 15m 45s
Replace printfs by pp formatters in cesl Build #29: Pull request #12 synchronize by andreffnascimento
January 6, 2024 18:39 11m 37s str-fmt-cesl
str-fmt-cesl
January 6, 2024 18:39 11m 37s
Replace printfs by pp formatters in cesl Build #28: Pull request #12 opened by andreffnascimento
January 5, 2024 17:47 11m 45s str-fmt-cesl
str-fmt-cesl
January 5, 2024 17:47 11m 45s
Removes syntax.mli Build #27: Commit 238b803 pushed by filipeom
January 4, 2024 19:16 11m 48s main
main
January 4, 2024 19:16 11m 48s
Remove bad depends Build #26: Pull request #11 synchronize by filipeom
January 4, 2024 18:32 11m 42s remove-bad-depends
remove-bad-depends
January 4, 2024 18:32 11m 42s
Remove bad depends Build #25: Pull request #11 synchronize by filipeom
January 4, 2024 14:02 12m 7s remove-bad-depends
remove-bad-depends
January 4, 2024 14:02 12m 7s
Remove bad depends Build #24: Pull request #11 synchronize by filipeom
January 3, 2024 23:44 11m 42s remove-bad-depends
remove-bad-depends
January 3, 2024 23:44 11m 42s
Remove bad depends Build #23: Pull request #11 synchronize by filipeom
January 3, 2024 23:03 11m 40s remove-bad-depends
remove-bad-depends
January 3, 2024 23:03 11m 40s
Remove bad depends Build #22: Pull request #11 opened by filipeom
January 3, 2024 22:48 11m 31s remove-bad-depends
remove-bad-depends
January 3, 2024 22:48 11m 31s
address PR review Build #21: Commit fae45d2 pushed by andreffnascimento
January 3, 2024 13:53 12m 51s main
main
January 3, 2024 13:53 12m 51s
Implementation of a centralized error system for ECMA-SL Build #20: Pull request #6 synchronize by andreffnascimento
January 3, 2024 13:12 22m 12s interp-error
interp-error
January 3, 2024 13:12 22m 12s
merge symbolic-heap Build #19: Commit 0cd3af4 pushed by filipeom
January 3, 2024 12:56 26m 2s main
main
January 3, 2024 12:56 26m 2s
Update .github/workflows/build.yml Build #18: Commit e03389e pushed by filipeom
January 3, 2024 12:55 13m 35s main
main
January 3, 2024 12:55 13m 35s
Actions: run on PRs and use self-hosted runner Build #17: Pull request #8 synchronize by filipeom
January 3, 2024 11:11 13m 34s self-hosted
self-hosted
January 3, 2024 11:11 13m 34s
Actions: run on PRs and use self-hosted runner Build #16: Pull request #8 synchronize by filipeom
January 3, 2024 11:11 48s self-hosted
self-hosted
January 3, 2024 11:11 48s
Actions: run on PRs and use self-hosted runner Build #15: Pull request #8 synchronize by filipeom
January 3, 2024 11:03 4m 10s self-hosted
self-hosted
January 3, 2024 11:03 4m 10s
Actions: run on PRs and use self-hosted runner Build #14: Pull request #8 opened by filipeom
January 3, 2024 10:55 3m 52s self-hosted
self-hosted
January 3, 2024 10:55 3m 52s
ProTip! You can narrow down the results and go further in time using created:<2024-01-03 or the other filters available.