Skip to content

Actions: argotorg/act

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
377 workflow runs
377 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
npm_and_yarn in /. for mermaid - Update #1361001606 Dependabot Updates #17: by dependabot Bot
56s main
main
56s
npm_and_yarn in /. for mermaid - Update #1360907857 Dependabot Updates #16: by dependabot Bot
1m 0s main
main
1m 0s
npm_and_yarn in /. for mermaid - Update #1360876068 Dependabot Updates #15: by dependabot Bot
45s main
main
45s
Bump mermaid from 11.12.2 to 11.15.0 Build #1940: Pull request #223 opened by dependabot Bot
21m 33s dependabot/npm_and_yarn/mermaid-11.15.0
dependabot/npm_and_yarn/mermaid-11.15.0
21m 33s
Bump mermaid from 11.12.2 to 11.15.0 Build #1939: Commit feb9c9a pushed by dependabot Bot
23m 20s dependabot/npm_and_yarn/mermaid-11.15.0
dependabot/npm_and_yarn/mermaid-11.15.0
23m 20s
npm_and_yarn in /. for mermaid - Update #1360844766 Dependabot Updates #14: by dependabot Bot
58s main
main
58s
used lemma to prove outstanding theorem Build #1938: Commit 0d4c949 pushed by anjapetkovic
20m 48s example-admins
example-admins
20m 48s
npm_and_yarn in /. for uuid - Update #1350396769 Dependabot Updates #13: by dependabot Bot
49s main
main
49s
Possible proof for admins example Build #1937: Commit 3a524e1 pushed by lefterislazar
22m 4s example-admins
example-admins
22m 4s
new example Build #1936: Commit f90a551 pushed by anjapetkovic
23m 5s example-admins
example-admins
23m 5s
Merge pull request #222 from argotorg/doc-rewrite Build #1935: Commit e7998be pushed by anjapetkovic
24m 9s main
main
24m 9s
npm_and_yarn in /. for uuid - Update #1346471746 Dependabot Updates #12: by dependabot Bot
56s main
main
56s
tech report with metatheory link Build #1934: Pull request #222 opened by anjapetkovic
23m 32s doc-rewrite
doc-rewrite
23m 32s
tech report with metatheory link Build #1933: Commit 16ba60e pushed by anjapetkovic
28m 8s doc-rewrite
doc-rewrite
28m 8s
npm_and_yarn in /. for dompurify - Update #1333478698 Dependabot Updates #11: by dependabot Bot
44s main
main
44s
Bump dompurify from 3.3.1 to 3.4.1 Build #1932: Pull request #221 opened by dependabot Bot
28m 11s dependabot/npm_and_yarn/dompurify-3.4.1
dependabot/npm_and_yarn/dompurify-3.4.1
28m 11s
Bump dompurify from 3.3.1 to 3.4.1 Build #1931: Commit 78e853e pushed by dependabot Bot
19m 8s dependabot/npm_and_yarn/dompurify-3.4.1
dependabot/npm_and_yarn/dompurify-3.4.1
19m 8s
npm_and_yarn in /. for dompurify - Update #1333295494 Dependabot Updates #10: by dependabot Bot
58s main
main
58s
Bump dompurify from 3.3.1 to 3.4.0 Build #1930: Pull request #220 opened by dependabot Bot
20m 15s dependabot/npm_and_yarn/dompurify-3.4.0
dependabot/npm_and_yarn/dompurify-3.4.0
20m 15s
Bump dompurify from 3.3.1 to 3.4.0 Build #1929: Commit 2a63ed5 pushed by dependabot Bot
19m 10s dependabot/npm_and_yarn/dompurify-3.4.0
dependabot/npm_and_yarn/dompurify-3.4.0
19m 10s
npm_and_yarn in /. for dompurify - Update #1325519882 Dependabot Updates #9: by dependabot Bot
57s main
main
57s
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