Skip to content

Actions: argotorg/act

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
369 workflow runs
369 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #217 from argotorg/lean Build #1928: Commit 661df5f pushed by anjapetkovic
21m 24s main
main
21m 24s
Lean backend Build #1927: Pull request #217 synchronize by lefterislazar
24m 10s lean
lean
24m 10s
Update Doc to incorporate latest changes in hypotheses Build #1926: Commit 44ffd7a pushed by lefterislazar
19m 30s lean
lean
19m 30s
npm_and_yarn in /. for dompurify - Update #1306798343 Dependabot Updates #8: by dependabot bot
40s main
main
40s
npm_and_yarn in /. for dompurify - Update #1306785677 Dependabot Updates #7: by dependabot bot
44s main
main
44s
Lean backend Build #1925: Pull request #217 synchronize by lefterislazar
28m 56s lean
lean
28m 56s
Added automatic test for compilation of LEAN tests (no theories) Build #1924: Commit c6a86d4 pushed by lefterislazar
26m 58s lean
lean
26m 58s
npm_and_yarn in /. for lodash-es - Update #1304864756 Dependabot Updates #6: by dependabot bot
51s main
main
51s
npm_and_yarn in /. for lodash-es - Update #1304208533 Dependabot Updates #5: by dependabot bot
42s main
main
42s
LLM-assisted mechanized metatheory for act Build #1923: Pull request #219 opened by zoep
21m 19s mechanization
mechanization
21m 19s
Add README Build #1922: Commit 2ff3346 pushed by zoep
24m 38s mechanization
mechanization
24m 38s
Bump dompurify from 3.3.1 to 3.3.3 Build #1921: Pull request #218 opened by dependabot bot
21m 26s dependabot/npm_and_yarn/dompurify-3.3.3
dependabot/npm_and_yarn/dompurify-3.3.3
21m 26s
Bump dompurify from 3.3.1 to 3.3.3 Build #1920: Commit 4bd1bf6 pushed by dependabot bot
20m 20s dependabot/npm_and_yarn/dompurify-3.3.3
dependabot/npm_and_yarn/dompurify-3.3.3
20m 20s
npm_and_yarn in /. for dompurify - Update #1297634350 Dependabot Updates #4: by dependabot bot
50s main
main
50s
Lean backend Build #1919: Pull request #217 opened by anjapetkovic
19m 23s lean
lean
19m 23s
cleanup Build #1918: Commit 39e17f5 pushed by anjapetkovic
22m 17s lean
lean
22m 17s
updated rocq preconditions documentation Build #1917: Commit 44ac5ad pushed by anjapetkovic
19m 34s lean
lean
19m 34s
lean tests Build #1916: Commit 026dafc pushed by anjapetkovic
20m 40s lean
lean
20m 40s
nit Build #1915: Commit 5ba0ded pushed by anjapetkovic
18m 52s lean
lean
18m 52s
fixed InvariantReachable proof Build #1914: Commit ae19582 pushed by anjapetkovic
28m 4s lean
lean
28m 4s
Deploy Book Deploy Book #16: Manually run by sophierain
10m 22s main
main
10m 22s
Build Build #1913: by sophierain
20m 33s main
main
20m 33s
space in getting started Build #1912: Commit 371497a pushed by sophierain
21m 36s main
main
21m 36s
fixed Actlib Build #1911: Commit 390930f pushed by anjapetkovic
22m 6s lean
lean
22m 6s
Merge pull request #216 from argotorg/rocq-pack-preconds Build #1910: Commit f92845c pushed by zoep
39m 3s main
main
39m 3s