Skip to content

Actions: CatalaLang/catala

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

DEB DEB #152: Scheduled
2m 49s master
master
2m 49s
Jsoo fix error diagnostics (#975) CI #259: Commit 54be3c8 pushed by rprimet
2h 29m 50s master
master
2h 29m 50s
Jsoo fix error diagnostics CI #258: Pull request #975 synchronize by rprimet
12m 21s
12m 21s
Jsoo fix error diagnostics CI #257: Pull request #975 opened by rprimet
1h 13m 47s
1h 13m 47s
jsoo: one diagnostic per error instead of a merged one CI #256: Pull request #973 synchronize by rprimet
32m 35s
32m 35s
DEB DEB #151: Scheduled
2m 49s master
master
2m 49s
Introspection of runtime Catala values CI #255: Pull request #974 opened by AltGr
19m 17s
19m 17s
Backport CI spec from master DEB #150: Commit 4baa078 pushed by AltGr
2m 58s pkgdeb
pkgdeb
2m 58s
DEB DEB #149: Scheduled
1m 13s master
master
1m 13s
CI: attempt tu upload to release directly without dirty gh actions CI #254: Commit 327b09a pushed by AltGr
23m 3s master
master
23m 3s
DEB DEB #148: Scheduled
3m 0s master
master
3m 0s
Allow internal variables to remain undefined when unused (#970) CI #253: Commit 102d9be pushed by AltGr
1h 2m 37s master
master
1h 2m 37s
Allow internal variables to remain undefined when unused CI #252: Pull request #970 synchronize by vincent-botbol
41m 13s
41m 13s
DEB DEB #147: Scheduled
26s master
master
26s
Allow internal variables to remain undefined when unused CI #251: Pull request #970 synchronize by AltGr
22m 19s
22m 19s
Fix Makefile for CI install CI #250: Commit 8c18a65 pushed by AltGr
43m 15s master
master
43m 15s
Fix Makefile for CI install CI #249: Commit d2f0b4c pushed by AltGr
7m 34s master
master
7m 34s
jsoo: one diagnostic per error instead of a merged one CI #248: Pull request #973 synchronize by rprimet
1h 7m 47s
1h 7m 47s
jsoo: one diagnostic per error instead of a merged one CI #247: Pull request #973 opened by rprimet
41m 17s
41m 17s
Fix CI + Makefile CI #246: Commit 6ee22b1 pushed by AltGr
6m 0s master
master
6m 0s
Fix github ci.yml CI #245: Commit bcff7a8 pushed by AltGr
36m 52s master
master
36m 52s
Fix github ci.yml CI #244: Commit 9bac87e pushed by AltGr
2h 23m 58s master
master
2h 23m 58s
Separate opam packages for js-related stuff and the proof backend (#971) CI #243: Commit ec031c4 pushed by AltGr
Failure master
master
Failure
DEB DEB #146: Scheduled
3m 7s master
master
3m 7s
Separate opam packages for js-related stuff and the proof backend CI #242: Pull request #971 synchronize by AltGr
26m 54s
26m 54s