Skip to content

Actions: formalsec/explode-js

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
327 workflow runs
327 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump ecma-sl dev -> 1.4.0 (#66)
Deploy Jekyll with GitHub Pages dependencies preinstalled #106: Commit df1b9fd pushed by filipeom
35s main
43s
36s
github_actions in /. - Update #1043330486
Dependabot Updates #46: by dependabot bot
2m 0s main
2m 0s
36s
Manage ECMA-SL through an opam pin instead of a submodule
Deploy Jekyll with GitHub Pages dependencies preinstalled #105: Commit 111c1a5 pushed by filipeom
52s main
Add api to export outcomes and sinks from the runner's web UI
Deploy Jekyll with GitHub Pages dependencies preinstalled #104: Commit 5c9522e pushed by filipeom
50s main
Add submodule for the improved dataset
Deploy Jekyll with GitHub Pages dependencies preinstalled #103: Commit 3b38f6b pushed by filipeom
34s main
Add api to export outcomes and sinks from the runner's web UI
Deploy Jekyll with GitHub Pages dependencies preinstalled #102: Commit 5c9522e pushed by filipeom
38s main
Delete unused files
Deploy Jekyll with GitHub Pages dependencies preinstalled #101: Commit de4b310 pushed by filipeom
40s main
Delete unused files
Build #120: Commit de4b310 pushed by filipeom
21m 11s main
Fmt
Build #119: Pull request #61 synchronize by filipeom
18m 53s fmt
fmt
Fmt
Build #118: Pull request #61 synchronize by filipeom
18m 23s fmt
fmt
Promote tests
Deploy Jekyll with GitHub Pages dependencies preinstalled #100: Commit a92398a pushed by filipeom
34s main
Promote tests
Build #117: Commit a92398a pushed by filipeom
21m 17s main
Fmt
Build #116: Pull request #61 synchronize by filipeom
16m 31s fmt
fmt